|
A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2014/08.28.13.46.58-0:pt:title:2:verificacao software uml formal:diagramas uml verificacao formal software:>.
5 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos. Data e hora local de busca: 28/04/2024 10:03. |
| Eras, E. R.; Vijaykumar, N. L. Artigo em Evento - sem Qualis - 2014 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 | |
| Eras, E. R.; Vijaykumar, N. L. Relatório - sem Qualis - 2014 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 | |
| Eras, E. R.; Vijaykumar, N. L. Artigo em Evento - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 | |
| Eras, E. R.; Vijaykumar, N. L. Relatório - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 | |
| Pontes, R. P.; Villani, E.; Ambrosio, A. M. Artigo em Evento - sem Qualis - 2010 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.35 | |